Roles of a Partial Evaluator for the Re ective Language Black

A re ective language allows us to access its interpreter to dynamically modify or extend the language semantics from within the same language. In the previous paper, we implemented a re ective language called Black, and showed that a directly executable interpreter can be implemented by duplicating and partially evaluating the metalevel interpreters without losing changeability. In this paper, we will concentrate on the partial evaluator and show that it can be used not only to construct the default re ective interpreter but also as a compiler of re ective languages. Since the language semantics may change in re ective languages, we cannot use a speci c compiler; instead, we use the partial evaluator, which can take the semantics of the language into account. ANY OTHER IDENTIFYING INFORMATION OF THIS REPORT DISTRIBUTION STATEMENT First issue 35 copies. SUPPLEMENTARY NOTES REPORT DATE May 25, 1994 TOTAL NO. OF PAGES 10 WRITTEN LANGUAGE English